Section: New Software and Platforms

TypeEquiv

A type checker for privacy properties

Keywords: Security - Cryptographic protocol - Privacy

Functional Description: TypeEquiv takes as input the specification of a pair of security protocols, written in a dialect of the applied-pi calculus, together with some type annotations. It checks whether the two protocols are in equivalence or not.

• Partner: Technische Universität Wien

• Contact: Véronique Cortier